Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
361	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
362	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran-mirror.cs.uu.nl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
363	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
364	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.repo.bppt.go.id Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
365	edition 3 / JUNEE T A D Add to Reading List Source URL: www.dynelytics.com Language: English - Date: 2013-06-01 05:19:07 Data management Formal sciences Data analysis SPSS Natural language processing Text mining ADAPA Data mining Analytics Statistics Business intelligence Science
366	The Poincar´e-Dulac normal form theorem for formal vector fields Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:53:03 Abstract algebra Linear algebra Mathematical series Differential calculus Vectors Vector space Formal power series Linearization Eigenvalues and eigenvectors Algebra Mathematics Mathematical analysis
367	WHAT YOU DON’T KNOW CAN HURT YOU What your audit team can teach you about mining your business data for strategic advantage CONTENT Add to Reading List Source URL: www.acl.com Language: English - Date: 2013-10-20 13:22:43 Information technology audit Formal sciences Computer-aided audit tools Auditing Data analysis ACL Internal control Analytics Business intelligence Information technology management Data management Accountancy
368	WiST Group Lab Review Template Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2012-10-31 05:31:39 Synchronization Static timing analysis FlexRay Electronic engineering Electronics Formal methods Jitter
369	A Framework for RAD Spirit Programs = Algorithms + Data Structures Joel de Guzman () Hartmut Kaiser () Add to Reading List Source URL: boost-spirit.com Language: English - Date: 2010-11-03 20:38:48 Compiler construction Formal languages Parsing Compiling tools Recursive descent parser Top-down parsing Compiler-compiler Lexical analysis Formal grammar Programming language implementation Software Computing
370	Expert Systems with Applications–Contents lists available at SciVerse ScienceDirect Expert Systems with Applications journal homepage: www.elsevier.com/locate/eswa Add to Reading List Source URL: romisatriawahono.net Language: English - Date: 2013-01-23 00:58:49 Formal sciences Data mining Computational neuroscience Neural network ADAPA Web mining Cluster analysis Agent-based model Bioinformatics Statistics Science Data analysis

UPDATE